package pl.edu.pw.elka.dzielins.revanalyzer.alloy;

import org.apache.log4j.Logger;

import edu.mit.csail.sdg.alloy4.A4Reporter;
import edu.mit.csail.sdg.alloy4.ErrorWarning;

public class AlloyLogger extends A4Reporter {
	static final Logger LOG = Logger.getLogger(AlloyLogger.class);
	
	public AlloyLogger() {
		
	}
	
	@Override
	public void warning(ErrorWarning msg) {
		LOG.warn(msg.toString(), msg);
	}
	
	@Override
	public void debug(String msg) {
		LOG.debug(msg);
	}
}
